автоматизация формулирования логических выводов

Information technology: automated reasoning